We obtain that Universe space has to be flat, but also, at the same time, it has to be finite, homogeneous (on global scale) and isotropic. So rays of light can be observed moving along parallel trajectories in an expanding finite hypersphere. We show this implies an accelerated expansion of the Universe. Considering the energy conservation problem, also we argue about the necessity of matter-antimatter asymmetry.

A contradiction is obtained, considering the axiom of infinity, then ℕ and Peano axioms, together a list of ℕ subsets and with inclusion relation and union operation. Natural numbers constitute an infinite set, ℕ, but we show the union of its proper subsets, with a specific form, isn’t an infinite set. Also we get a simpler explanation and a symbolic representation. Lastly, inconsistency of Peano successor axiom is a consequence of rejecting infinity.

In the article ”Inconsistency of N from a not-finitist point of view” we have shown the inconsistency of N, going through a denial. Here we delete this indirect step and essentially repeat the same proof. Contextually we find a contradiction about natural number definition. Then we discuss around the rejection of infinity.

From classical mechanics, in particular the motion in a straight line, together set theory and ordinal number theory, we prove a not-classical behaviour, a discontinuous motion and emission.

From time involved in pair production process, in the photon-photon collision, we consider energy and then mass uncertainty. Taking the latter as the mass of a particle, we repeat pair production process obtaining another mass uncertainty, then another particle mass, and so on. Starting with the heaviest charged elementary particle that is possible using Planck length for electromagnetic mass, we obtain a mass value close to electron mass. It is supposed exactly electron mass, considering the presence of uncertainties in the (...) process. Then plausible neutrino mass and other particles masses are obtained. (shrink)

Considering the set of natural numbers ℕ, then in the context of Peano axioms, starting from inequalities between finite sets, we find a fundamental contradiction, about the existence of ℕ, from a not-finitist point of view.

This draft entry is a brief overview of John Stuart Mill's moral and political philosophy, with an emphasis on his views on religion, for the Encyclopedia of the Philosophy of Religion (Wiley-Blackwell).

A comprehensive draft overview of John Stuart Mill's public life and philosophy, including discussion of: 1. A System of Logic. – 2. The Greatest Happiness Principle. – 3. Progress, Liberty, and Democracy. – 4. Equality. – 5. India and Empire. – 6. Distribution, Socialism, and Sustainability.

Natural language contains simple lexical items for some but not all Boolean operators. English, for example, contains conjunction and, disjunction or, negated disjunction nor, but no word to express negated conjunction *nand nor any other Boolean connective. Natural language grammar can be described by a logic that expresses what the lexicon can express by its primitives, and the rest compositionally. Such logic for propositional connectives is described here as a bilateral extension of update semantics. The basic intuition is that a (...) context can be updated by assertion or by rejection, and by one or multiple propositions at once. These distinctions suffice to characterize the logic of the lexicon. (shrink)

Some arguments against the assumption that ordinary people may share common knowledge are sound. The apparent cost of such arguments is the rejection of scientific theories that appeal to common knowledge. My proposal is to accept the arguments without rejecting the theories. On my proposal, common knowledge is shared by ideally rational people, who are not just mathematically simple versions of ordinary people. They are qualitatively different from us, and theorizing about them does not lead to predictions about our behavior. (...) Nevertheless, models of action that assume common knowledge have a role to play in our understanding of collective rationality. (shrink)

My aim in this chapter is to place John Stuart Mill’s distinctive utilitarian political philosophy in the context of the debate about luck, responsibility, and equality. I hope it will reveal the extent to which his utilitarianism provides a helpful framework for synthesizing the competing claims of luck and relational egalitarianism. I attempt to show that when Mill’s distributive justice commitments are not decided by direct appeal to overall happiness, they are guided by three main public principles: an impartiality principle, (...) a sufficiency principle, and a merit principle. The question then becomes how luck and relational considerations figure into his articulation of these public principles. I argue that relational egalitarianism is more fundamental than considerations of luck and responsibility in Mill’s thought, but I also hope to show that any fleshed out picture of Mill’s reform proposals must recognize his condemnation of the role luck plays in determining the distribution of opportunities and outcomes. (shrink)

This article is part of a symposium on Bruce Cain's "Democracy More or Less: America’s Political Reform Quandary." It identifies the basic normative framework of Cain's skeptical "reform pluralism" as a form of democratic instrumentalism rather than political realism, and then argues that a more optimistic instrumentalist alternative is available. The instrumentalist can accept that more democracy need not entail better democracy. But the instrumentalist account of better democracy also gives us reason to believe that significant reform efforts remain worth (...) pursuing, for the simple reason that some of them have worked in the past. (shrink)

As biological and biomedical research increasingly reference the environmental context of the biological entities under study, the need for formalisation and standardisation of environment descriptors is growing. The Environment Ontology (ENVO) is a community-led, open project which seeks to provide an ontology for specifying a wide range of environments relevant to multiple life science disciplines and, through an open participation model, to accommodate the terminological requirements of all those needing to annotate data using ontology classes. This paper summarises ENVO’s motivation, (...) content, structure, adoption, and governance approach. (shrink)

The essays in this volume investigate the question of where, and in what sense, the bounds of intelligible thought, knowledge, and speech are to be drawn. Is there a way in which we are limited in what we think, know, and say? And if so, does this mean that we are constrained – that there is something beyond the ken of human intelligibility of which we fall short? Or is there another way to think about these limits of intelligibility – (...) namely, as conditions of our meaning and knowing anything, beyond which there is no specifiable thing we cannot do? -/- These issues feature prominently in the writings of Kant and Wittgenstein who each engaged with them in unique and striking ways. Their thoughts on the matter remain provocative and stimulating, and accordingly the contributions to this volume address the issues surrounding the limits of intelligibility both exegetically and systematically: they examine how they figure in Kant’s and Wittgenstein’s most significant works and put them in touch with contemporary debates that are shaped by their legacy. These debates concern, inter alia, logically and morally alien thought, the semantics and philosophy of negation, disjunctivism in philosophy of perception and ethics, paraconsistent approaches to contradiction, and the relation between art, literature, and philosophy. The book is divided into four parts: Part I gives a first assessment of the issues, Part II examines limits as they feature in Kant, Part III as they feature in Wittgenstein, and Part IV suggests some ways in which the questions at issue might be reconsidered, drawing upon ideas in phenomenology, dialetheism, metamathematics, and the works of other influential authors. -/- Limits of Intelligibility provides insight into a theme that is central to the thought of two of the most important figures in modern philosophy, as well as to recent metaphysics, philosophy of language, philosophy of logic, epistemology, and ethics. (shrink)

I argue that it is not acceptable to restrict the claim that linguistic types are concrete entities (type-concretism) to some categories of linguistic types (such as words or proper names), while at the same time conceding that other categories of linguistic types (such as sentence types) are abstract entities. Moreover, I suggest a way in which type-concretism can be extended to every linguistic type, thereby responding to the so-called productivity objection to type-concretism, according to which, whenever tokens of a type (...) t are produced in different, causally isolated circumstances, then t needs to be identified by a certain form or structure. This extension of type-concretism detaches type-concretism from so-called originalism and gives rules a prominent role in type-concretism. (shrink)

Mereological universalists, according to whom every plurality of entities has a fusion, usually claim that most quantifications are restricted to ordinary entities. However, there is no evidence that our usual quantifications over ordinary objects are restricted. In this article I explore an alternative way of reconciling Mereological Universalism with our usual quantifications. I resort to a modest form of ontological expansionism and to the so-called interpretational modalities. Quantifications over ordinary objects are the initial stages of the expansion. From these initial (...) stages, expansions can proceed upwards (fusions of entities in the domain of quantification are added), downwards (parts of entities in the domain are added), and sidewards (entities which are mereologically disjoint from the entities in the domain are added). These expansions are driven by a variety of epistemic and pragmatic reasons and raise different kinds of problems. At each stage, a modalized version of Mereological Universalism is true. By contrast, only at some especially rich stages, standard, non-modalized Mereological Universalism is true as well. Among these especially rich stages, there is a final, metaphysically pre-eminent stage of mereological plenitude. In the last part of the article I discuss some problems and limitations of expansionism. (shrink)

1. We sometimes angrily confront, pointedly ostracize, castigate, or denounce those whom we think have committed moral offences. Conduct of this kind may be called blaming behaviour. When genuine,...

Some tools introduced by Linnebo to show that mathematical entities are thin objects can also be applied to non-mathematical entities, which have been thought to be thin as well for a variety of reasons. In this paper, I discuss some difficulties and opportunities concerning the application of abstraction and interpretational modalities to mereological sums. In particular, I show that on one hand some prima facie attractive candidates for the role of an explanatory plural abstraction principle for mereological sums (in terms (...) of pluralities of summed entities) are not really explanatory; on the other hand, singular abstraction principles (in terms of single summed entities) are materially inadequate. Nonetheless, explanatory criteria of identity and conditions of existence for mereological sums are provided by classical extensional mereology independent of abstraction principles. Thus, given classical extensional mereology, the reasons why, according to Linnebo, mathematical abstracted entities are thin also hold for mereological sums. Finally, I contend that interpretational modalities can be used to characterise the process by which a subject adds sums of previously admitted entities to the domain of quantification. (shrink)

Kant scholarship often refers to transcendental idealism as a ‘theory.’ Kant’s project, however, is not easily reconciled with that term in its current use. This paper contends that his critique and idealism should be seen as a remedial response against our natural albeit confused prejudice of transcendental realism. Kant’s idealism articulates a ‘metametaphysical’ ethos that is supposed to provide a new grounding of metaphysics by proceeding ‘from the human standpoint:’ it aims to dispel the temptation of transcendental realism in favor (...) of a resolute inhabitation of, and contentment with, our own humanity. This project comes under pressure in post-Kantianism: Fichte is among the first to voice the worry that Kant’s critique is well-intentioned, but not well-executed. His concern is that, while it ‘bring[s] man into harmony with himself,’ this mere contentment with our own humanity will not suffice to achieve the scientificity that, by Kant’s own lights, is the mark of any promising metaphysics. Fichte’s charge is that Kant’s idealism, in its very confinement to the brute facts of the human condition, surrenders itself to unacceptable contingency or ‘facticity.’ The paper explores Kant’s idealist project of grounding metaphysics, Fichte’s facticity charge against it, and whether Kantian idealism can withstand it. (shrink)

A leading classical utilitarian, John Stuart Mill is an unlikely contributor to the public reason tradition in political philosophy. To hold that social rules or political institutions are justified by their contribution to overall happiness is to deny that they are justified by their being the object of consensus or convergence among all those holding qualified moral or political viewpoints. In this chapter, I explore the surprising ways in which Mill nevertheless works to accommodate the problems and insights of the (...) public reason tradition, and the extent to which he makes arguments that can help those working within that tradition. Mill’s utilitarian theory incorporates the claim that the demands of social life require a publicly accepted set of normative expectations to govern judgments about when one has met one’s obligations and, relatedly, about the appropriateness of blame or punishment. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a modal predicative response (...) to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

According to the Maxim of Quality, rational agents tend to speak honestly. Due to the influence of Grice, a connection between linguistic rationality and honesty is often taken for granted. However, the connection is not obvious: structural rationality in language use does not require honesty, any more than it requires dishonesty. In particular, Quality does not follow from the Cooperative Principle and structural rationality. But then what is honest rational speech? I propose to move the discussion in the context of (...) Stalnaker's theory of assertion. From this perspective, although there is no most rational way to behave, Quality follows from the structure of Stalnakerian conversations if interlocutors are sensitive to credibility. In this case, honesty is built on the expectation of reciprocity, and cooperativity is an outcome and not a precondition of rational communication. A benefit of my discussion is that the account of linguistic rationality falls under the more general view of interactive rationality familiar from theoretical economics. (shrink)

Aim of this paper is to analyse and assess two divergent understandings of metaphysical modality. On one hand, according to the absolutist conception, metaphysical modality is the extreme variety of objective modality and can be characterised in terms of all the varieties of objective modality: for example, p is metaphysically necessary if and only if p is necessary for every variety of objective necessity. The absolutist conception can also be framed in terms of counterfactual inevitability. On the other hand, according (...) to the essentialist conception of metaphysical modality, p is metaphysically necessary if and only if the truth of p is grounded by the essences of some entities. Based on the analysis of these two conceptions, I show that possible worlds are not helpful in characterising metaphysical modality. I finally suggest that in the light of a general principle about philosophical terminology, the essentialist conception has an edge over the absolutist one. (shrink)

Communication facilitates coordination, but coordination might fail if there's too much uncertainty. I discuss a scenario in which vagueness-driven uncertainty undermines the possibility of publicly sharing a belief. I then show that asserting an epistemic modal sentence, 'Might p', can reveal the speaker's uncertainty, and that this may improve the chances of coordination despite the lack of a common epistemic ground. This provides a game-theoretic rationale for epistemic modality. The account draws on a standard relational semantics for epistemic modality, Stalnaker's (...) theory of assertion as informative update, and a Bayesian framework for reasoning under uncertainty. (shrink)

Discussions about the extended mind have ‘extended’ in various directions in the last decades. While applied to other aspects of human cognition and even consciousness, the extended-mind hypothesis has also been criticized, as it questions fundamental ideas such as the image of a dual world, divided between an external and an internal domain by the border of ‘skin and skull’, the idea of a localized and constant decision center, and the role of internal representations. We suggest that the main virtue (...) of the hypothesis is not as a theory per se, but as a vaccine against persistent metaphysical prejudices about the mind’s structure, functions and borders. Being an hypothesis about the most efficient ways to combine resources and problems, and not a theory about the mind’s a-priori constitution, the extended mind view moves the focus from ontology to pragmatics and helps purify philosophy of mind from metaphysical remainders. (shrink)

This book presents a comprehensive theoretical framework that explains both human consciousness and meanings through the working of attention. By arguing for a first-person approach to consciousness, this book offers a critical overview of the major theories and empirical findings on consciousness and attention, and exemplifies how one of the most difficult and fundamental conscious experiences to account for, that is, time, can be analyzed by adopting the kind of semantics developed within the presented theoretical framework: Attentional Semantics.

In this first edition of Introduction to materials and production technologies, the reader will find a practical guide to agile a conceptual approach to materials and processing technologies. The text is organized into seven main chapters: ceramics, composites, wood and derivatives, metal alloys, paints, plastics and glass. Through alphabetic tables, various commercial types are listed. Each chapter culminates with picture and analytical development of various technologies applicable in each case. Moreover, the text is supplemented with photos, explanatory images, spreadsheets and (...) commercial grading prepackaged measures. This work is based on the Scientific Report Final Adopted (Resolution CIC No. 685/02) on the topic "Relationship between new materials and durability of goods or products", held at the Department of Industrial Design at the National University of La Plata, under the Scholarship Program of the Committee on Scientific Research of the Province of Buenos Aires, granted by Decree No. 4468/98 and Resolution CIC No. 1919/99. This publication is intended for students, technical and professional disciplines proyectuales. It is a useful tool for those who wish to have a clear and comprehensive picture of the different materials and production processes query. -/- RESUMEN. En esta primera edición de Introducción a los materiales y tecnologías de producción, el lector encontrará una guía práctica ágil para una aproximación conceptual a los materiales y sus tecnologías de transformación. El texto está organizado en siete capítulos principales: cerámicos, compuestos, maderas y derivados, aleaciones metálicas, pinturas, plásticos y vidrios. A través de cuadros alfabéticos, se enumeran los diversos tipos comerciales. Cada capítulo culmina con el cuadro y desarrollo analítico de las distintas tecnologías aplicables en cada caso. Además, el texto se complementa con fotos, imágenes explicativas, planillas de clasificación y medidas comerciales de preelaborados. Este trabajo está basado en el Informe Científico Final Aprobado (Resolución CIC N° 685/02) sobre el tema: “Relación entre nuevos materiales y la durabilidad en bienes o productos”, realizado en el Departamento de Diseño Industrial de la Universidad Nacional de La Plata, en el marco del Programa de Becas de la Comisión de Investigaciones Científicas de la Provincia de Buenos Aires, otorgadas por Decreto Nº 4468/98 y Resolución CIC Nº 1919/99. Esta publicación está dirigida a estudiantes, técnicos y profesionales de disciplinas proyectuales. Es una herramienta de consulta útil para todos aquellos que deseen tener una idea clara y comprensiva de los distintos materiales y los procesos de producción. (shrink)

David Kaplan famously argued that mainstream semantics for modal logic, which identifies propositions with sets of possible worlds, is affected by a cardinality paradox. Takashi Yagisawa showed that a variant of the same paradox arises when standard possible worlds semantics is extended with impossible worlds to deliver a hyperintensional account of propositions. After introducing the problem, we discuss two general approaches to a possible solution: giving up on sets and giving up on worlds, either in the background semantic framework or (...) in the corresponding conception of propositions. As a result, we conclude that abandoning worlds by embracing a truthmaker-based approach offers a promising way to account for hyperintensional propositions without facing the paradoxical outcome. (shrink)

Reshaping our methodological research tools for adequately capturing injustice and domination has been a central aspiration of feminist philosophy and social epistemology in recent years. There has been an increasingly empirical turn in recent feminist and political theorization, engaging with case studies and the challenges arising from conducting research in solidarity with unequal partners. I argue that these challenges cannot be resolved by merely adopting a norm and stance of deference to those in the struggle for justice. To conduct philosophical (...) research in an engaged and solidaristic manner, I suggest that deference be supplemented by three methodological and normative principles: 1) epistemic humility, 2) accountability, and 3) co-producing knowledge. I situate these principles within contemporary philosophical work on solidarity, and show how they might help confront power imbalances and other methodological hazards that arise when conducting research in solidarity with others. I arrive at these principles in part by critically reflecting on my own attempt to conduct research in solidarity with women’s rights activists in Senegal. (shrink)

Let F be a fact in virtue of which an agent, S, is blameworthy for performing an act of A-ing. We advance a slightly qualified version of the following thesis: -/- (Reason) F is (at some time) a reason for S to feel guilty (to some extent) for A-ing. -/- Leaving implicit the qualification concerning extent, we claim as well: -/- (Desert) S's having this reason suffices for S’s deserving to feel guilty for A-ing. -/- We also advance a third (...) thesis connecting desert of feeling guilty with the fittingness of this response. -/- In light of our three theses, we address several claims that have been made regarding responsibility and desert. We take issue with the divorce of desert from responsibility. We find acceptable a claim regarding blameworthiness and reason to induce guilt, and we defend the idea that it is noninstrumentally good that one who is blameworthy be subject to a fitting feeling of guilt. We argue against a view on which desert of blame has a teleological dimension. (shrink)

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

Los conceptos de evolución y cambio evolutivo son a la vez laxos y polisémicos: se aplican a fenómenos muy diferentes y no siempre se definen con precisión. La aplicación extendida del paradigma neo-darwinista clásico, además, suele imponer un esquema adaptacionista al análisis de los hechos evolutivos, en el cual las funciones juegan un papel lógicamente anterior a los rasgos y sus formas. En este artículo proponemos, como etapa previa a la formulación de hipótesis sobre las causas del cambio, un modelo (...) de espacio forma-función que pueda responder a preguntas como cuándo se da un cambio en los rasgos de una arquitectura biológica y de qué tipo son estos cambios. Un modelo de este tipo nos permite ver claramente cuándo se da un cambio en la forma o en la función y qué alcance evolutivo tiene. (shrink)

A wide variety of concepts are nowadays considered to be hyperintensional, and some of them do not seem to involve our representational attitudes. This led some philosophers to identify and defend a notion of worldly hyperintensionality: the idea that some hyperintensional phenomena derive from features of objective reality, independently of how we represent it. Against this view, Darragh Byrne and Naomi Thompson argue that the correct understanding of such phenomena must be conceptualist in nature, and claim that hyperintensionality always derives (...) from features of representations. In the present work I defend the genuine distinction between worldly and representational hyperintensionality through a new framing of the issue: the comparison with worldly intensionality. I argue that locating the sources of hyperintensionality should not be affected by preferences towards any specific semantic framework, and reject Byrne and Thompson's argument against worldly hyperintensionality. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

The ability to express negation in language may have been the result of an adaptive process. However, there are different accounts of adaptation in linguistics, and more than one of them may describe the case of negation. In this paper, I distinguish different versions of the claim that negation is adaptive and defend a proposal, based on recent work by Steinert-Threlkeld (2016) and Incurvati and Sbardolini (2021), on which negation is an indirect adaptation.

There is a confounding issue at the very heart of philosophical reflection. It is the question of where, and in what sense, the bounds of intelligible thought, knowledge, and speech are to be drawn. To inquire into these limits is to acknowledge that we are “finite thinking beings,” as Kant puts it. Indeed, one way of understanding our essentially problematic position in the world which leads us into philosophy is to view it as a position of being fated to the (...) perpetual attempt to reckon with the limits of intelligibility: we are creatures for whom it can become a live question how to make sense of thought, action, knowledge, the good life, the nature of self-consciousness, mortal existence, and so forth – and where this sense-making gives out. This introductory essay puts special emphasis on the ways in which we might fall prey to a confused and pernicious kind of self-deception or self-alienation in seeking a philosophical remedy to the limits of intelligibility. In modern times, no other thinkers have faced up to this troubling possibility of self-alienation with the same rigor and in such depth as Kant and Wittgenstein. (shrink)

The legacy of the Platonic dialogues may well lie, not in any classical idealist “doctrine of forms,” but in an inquisitive stance towards the puzzle behind any such doctrine—how thought can be about anything at all. This Platonic puzzle may, however, yield a different guise of idealism that is recognizably diagnostic: it aims to dispel our worry about thought’s objectivity as a confusion, engendered by a self-alienation of thought. These themes of diagnosis and idealism resurface in Wittgenstein, who in his (...) treatment of rules calls for an understanding of thought’s normativity from within. This is taken up by Cora Diamond, who urges philosophy to attend to thought’s real needs by exorcizing any desire for agreement with something other than itself. I argue that Wittgenstein and Diamond lead us back to Kant’s idealism, which identifies transcendental realism as the deep-seated prejudice at the root of the puzzle. (shrink)

The debate around the notions of a priori knowledge and a posteriori knowledge has proven crucial for the development of many fields in philosophy, such as metaphysics, epistemology, metametaphysics etc. We advocate that the recent debate on the two notions is also fruitful for man-made distributed computing systems and for the epistemic analysis thereof. Following a recently proposed modal and fallibilistic account of a priori knowledge, we elaborate the corresponding concept of a priori belief: We propose a rich taxonomy of (...) types of a priori beliefs and their role for the different agents that participate in the system engineering process, which match the existing view exceedingly well and are particularly promising for explaining and dealing with unexpected behaviors in fault-tolerant distributed systems. Developing such a philosophical foundation will provide a sound basis for eventually implementing our ideas in a suitable epistemic reasoning and analysis framework and, hence, constitutes a mandatory first step for developing methods and tools to cope with the various challenges that emerge in such systems. (shrink)

In epoca medievale si è molto discusso su alcuni concetti chiave come prova o giustificazione. La teoria della prova contenuta nei trattati di logica medievale prende il nome tecnico di consequentia, che è un tipo di ragionamento fondato sul passaggio dalla concessione (o negazione) di uno o più enunciati denominati antecedenti alla concessione (o negazione) di uno o più enunciati denominati conseguenti. Questo tipo di teoria ha avuto un correlato a livello dei singoli termini che compongono l’enunciato all'interno della teoria (...) nota come suppositio terminorum. Prende, infatti, il nome di descensus, la regola che permette la verifica del passaggio da un termine maggiore (un termine comune) ad un termine minore (che denota individui). La stessa definizione di alcune ramificazioni della teoria della suppositio è col-legata alla possibilità di ammettere o meno il descensus cioè questa "discesa" da un termine comune ad una congiunzione o disgiunzione di termini singolari. Il presente lavoro intende descrivere la teoria del descensus come un tipo particolare di consequentia mostrandone le connessioni con le moderne tecniche logiche. I trattati che si affronteranno appartengono al XIV e al XV secolo, cioè ad un periodo caratterizzato da una sistemazione della materia che li rende confrontabili con un quadro teorico unitario. (shrink)

In this article, I argue that consciousness is a unique way of processing information, in that: it produces information, rather than purely transmitting it; the information it produces is meaningful for us; the meaning it has is always individuated. This uniqueness allows us to process information on the basis of our personal needs and ever-changing interactions with the environment, and consequently to act autonomously. Three main basic cognitive processes contribute to realize this unique way of information processing: the self, attention (...) and working memory. The self, which is primarily expressed via the central and peripheral nervous systems, maps our body, the environment, and our relations with the environment. It is the primary means by which the complexity inherent to our composite structure is reduced into the “single voice” of a unique individual. It provides a reference system that (albeit evolving) is sufficiently stable to define the variations that will be used as the raw material for the construction of conscious information. Attention allows for the selection of those variations in the state of the self that are most relevant in the given situation. Attention originates and is deployed from a single locus inside our body, which represents the center of the self, around which all our conscious experiences are organized. Whatever is focused by attention appears in our consciousness as possessing a spatial quality defined by this center and the direction toward which attention is focused. In addition, attention determines two other features of conscious experience: periodicity and phenomenal quality. Self and attention are necessary but not sufficient for conscious information to be produced. Complex forms of conscious experiences, such as the various modes of givenness of conscious experience and the stream of consciousness, need a working memory mechanism to assemble the basic pieces of information selected by attention. (shrink)

Darwin’s claim that Natural Selection, through optimization of fitness, explains complex biological design has not yet been properly formalized. Alan Grafen’s Formal Darwinism Project aims at providing such a formalization and at demonstrating that fitness maximization is coherent with results from Population Genetics, usually interpreted as denying it. We suggest that Grafen’s proposal suffers from some limitations linked to its concept of design as optimized fitness. In order to overcome these limitations, we propose a classification of evolutionary facts based on (...) a bi-dimensional complexity space, which adds robustness to fitness as measure of the quality of a design. In this space, each point represents an organismic architecture, and movement between two points would be an evolutionary fact. Natural Selection explains movement along the fitness axis, while non-selective mechanisms explain movement on the robustness axis. Moreover, we propose a thermodynamic metaphor to draw parallelisms between notions of fitness and entropy, robustness and energy, and movement in this space and reversible and irreversible cycles. We argue that this metaphor illustrates different evolutionary processes usually overlooked by proposals of formalization of Darwinian theory, such Grafen’s Formal Darwinism Project. (shrink)

There is an apparent dilemma for hierarchical accounts of propositions, raised by Bruno Whittle : either such accounts do not offer adequate treatment of connectives and quantifiers, or they eviscerate the logic. I discuss what a plausible hierarchical conception of propositions might amount to, and show that on that conception, Whittle’s dilemma is not compelling. Thus, there are good reasons why proponents of hierarchical accounts of propositions did not see the difficulty Whittle raises.

Written in 1949, La Scoperta di Marx was first published in 1958 in Pier Paolo Pasolini, L'usignolo della Chiesa Cattolica (Editore Longanesi). It is published here, along the first English translation of the poem, with the permission of Garzanti Libri.

Il volume intende presentare in una prospettiva organica la letteratura medievale sugli Insolubilia. Gli insolubili sono stati definiti come proposizioni autoreferenziali che hanno origine direttamente dalla tradizione del paradosso del mentitore. L’impostazione del presente lavoro vuole essere sia filologica che teorica in modo che da un lato si possano inserire le analisi speculative sugli Insolubilia in un contesto critico–storico più ampio che restituisca la peculiarità della trattazione medievale, e dall’altro, possa essere effettuata una analisi precisa dei tentativi di soluzione proposti (...) anche attraverso gli strumenti della logica moderna (quando possibile e non fuorviante). (shrink)

The primary determinant of the self (S) is the conscious experience (CE) we have of it. Therefore, it does not come as a surprise that empirical research on S mainly resorts to the CE (or lack of CE) that subjects have of their S. What comes as a surprise is that empirical research on S does not tackle the problem of how CE contributes to building S. Empirical research investigates how S either biases the cognitive processing of stimuli or is (...) altered through a wide range of means (meditation, hypnosis, etc.). In either case, even for different reasons, considerations of how CE contributes to building S are left unspecified in empirical research. This article analyzes these reasons and proposes a theoretical model of how CE contributes to building S. According to the proposed model, the phenomenal aspect of consciousness is produced by the modulation—engendered by attentional activity—of the energy level of the neural substrate (that is, the organ of attention) that underpins attentional activity. The phenomenal aspect of consciousness supplies the agent with a sense of S and informs the agent on how its S is affected by the agent’s own operations. The phenomenal aspect of consciousness performs its functions through its five main dimensions: qualitative, quantitative, hedonic, temporal, and spatial. Each dimension of the phenomenal aspect of consciousness can be explained by a specific aspect of the modulation of the energy level of the organ of attention. Among other advantages, the model explains the various forms of S as outcomes resulting from the operations of a single mechanism and provides a unifying framework for empirical research on the neural underpinnings of S. (shrink)

The assumption that natural selection alone is sufficient to explain not only which traits get fixed in a population/species, but also how they develop, has been questioned since Darwin’s times, and increasingly in the last decades. Alternative theories, linked to genetic and phenotypic processes, or to the theory of complex systems, have been proposed to explain the rise of the phenotypic variety upon which natural selection acts. In this article, we illustrate the current state of the issue and we propose (...) a logical space based on phenotypic robustness that allows a classification of evolutionary phenomena and can provide a framework for unifying all these accounts. (shrink)

This paper addresses the question of whether all that unites the main parts of John Stuart Mill’s On Liberty—the liberty principle, the defense of free discussion, the promotion of individuality, and the claims concerning individual competence about one’s own good—is a general concern with individual liberty, or whether we can say something more concrete about how they are related. I attempt to show that the arguments of On Liberty exemplify Mill’s institutional design approach set out in Considerations of Representative Government (...) and related works. Mill’s approach reflects both his debt to Bentham and his own progressive development of the utilitarian tradition. The paper proceeds by setting out the elements of Mill’s institutional designs and then showing that On Liberty neatly applies them, thereby clarifying the structure of the arguments of On Liberty. (shrink)